1. Computability
Author: Martin Davis,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Recursive functions,Unsolvability )Mathematical logic(,Computable functions
Classification :
QA
.
D38
9
.
615
1982
2. Computability and unsolvability
Author: Davis, Martin, 8291-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
Classification :
QA
9
.
615
.
D38
1982
3. Computability, complexity, and languages :
Author: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity,Formal languages,Machine theory
Classification :
QA267
.
D38
1994
4. Computability & unsolvability
پدیدآورنده : Davis, Martin
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Computability & unsolvability
Author: DAVIS,MARTIN DAVID
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTABLE FUNCTIONS
Classification :
QA
9
.
615
.
D38
6. Computability & unsolvability
Author: DAVIS,MARTIN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTERS FUNCTIONS
Classification :
QA
9
.
615
.
D38
1982
7. Degrees of unsolvability
Author: / by Joseph R. Shoenfield
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical,Recursive functions
Classification :
511
Sh-D
8. Degrees of unsolvability
Author: Shoenfield, Joseph Robert
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Recursive functions,، Unsolvability )Mathematical logic(
Classification :
QA
9
.
S518
9. Degrees of unsolvability
Author: Sacks, Gerald E.
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Recursive functions,، Unsolvability )Mathematical logic(
Classification :
QA
1
.
A626
no
.
55
1966
10. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
Author: edited by Martin Davis
Library: Central Library and Documentation Center (Kerman)
Subject: ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
Classification :
QA
9
.
65
.
U53
2004
11. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
Author: edited by Martin Davis
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
Classification :
QA
9
.
65
.
U53
